HILOG: A Foundation for Higher-Order Logic Programming

HiLog: A First-Order Semantics for Higher-Order Logic Programming Constructs

Efficient Execution of HiLog in WAM-based Prolog Implementations

In this paper we address the problem of eeciently implementing HiLog, a logic programming language with higher-order syntax and rst-order semantics. In contrast to approaches proposed in the literature that modify, or abandon the WAM framework in order to implement HiLog, our approach to the problem stems from a belief that the WAM should be an adequate abstract machine for the execution of any...

Sorted HiLog: Sorts in Higher-Order Logic Data Languages

HiLog enhances the modeling capabilities of deductive databases and logic programming with higher-order and meta-data constructs, complex objects, and schema browsing. Its distinctive feature, a higher-order syntax with a rst-order semantics, allows for eecient implementation with speeds comparable to Prolog. In fact, HiLog implementation in XSB 30, 26] together with tabulated query evaluation ...

Higher-Order Horn Logic Programming

We describe a fragment of higher-order Horn logic which can be used as a higher-order extension of Prolog. It allows the programmer to axiomatize predicates of predicates and operations on predicates. The restrictions defining the fragment ensure that the higher-order predicates and operations defined are monotonic and continuous—that they are enumeration operators. As a result, the fragment is...

Enhancing a Genome Database Using the XSB Tabled Logic Programming System

LabBase is a generic database management system for implementation of laboratory information systems developed at the Center for Genome Research in the Whitehead Institute at MIT It has become an important community database serving biological scientists engaged in genome research Until now the language used to query LabBase has been non recursive datalog without rules Using the XSB Tabled Logi...